🐪 OCaml GADTs

Generalized Algebraic Data Types, Type Witnesses, Pattern Matching, ML

Feeds to Scour
SubscribedAll
Scoured 77935 posts in 927.0 ms
Optimising Cylindrical Algebraic Coverings for use in SMT by Solving a Set Covering Problem with Reasons
arxiv.org·49m
🧩Constraint Solvers
Preview
Report Post
Multi-Modal Program Verification in Velvet
proofsandintuitions.net·1d·
Discuss: Hacker News
🧮Theorem Provers
Preview
Report Post
Partial Reductions for Kleene Algebra with Linear Hypotheses
arxiv.org·1d
λLambda Calculus
Preview
Report Post
Making a Language
thunderseethe.dev·7h
🔬programming language theory
Preview
Report Post
Dealing with alternatives
jemarch.net·1d
🔢Binary Formats
Preview
Report Post
Patterns All the Way Down: A Generalization for Graph-Like Things
medium.com·13h·
Discuss: Hacker News
🪢Rope Data Structures
Preview
Report Post
Building a mini PyTorch in C++ from scratch as a high school student...
dev.to·16h·
Discuss: DEV
🔬Nanopasses
Preview
Report Post
Soundness bugs in Rust libraries: can't live with 'em, can't live without 'em
docs.rs·14h·
Discuss: Hacker News
🔒Rust Borrowing
Preview
Report Post
GNU C Language Manual
gnu.org·10h
🪄C Metaprogramming
Preview
Report Post
Scheme implementation as O’Reilly book via Claude Code
ezzeriesa.notion.site·1d·
Discuss: Hacker News
🔧Scheme Macros
Preview
Report Post
Introducing Names: practical namespaces for Emacs-Lisp
endlessparentheses.com·16h
🔧Scheme Macros
Preview
Report Post
Kolmogorov Complexity
en.wikipedia.org·17h·
Discuss: Hacker News
λLambda Calculus
Preview
Report Post
Rust async combinators for elegant and secure concurrency
kerkour.com·23h·
Discuss: r/rust
🪆Embedded DSLs
Preview
Report Post
Show HN: QRY – Natural Language to SQL Using Claude Code/Codex CLI
news.ycombinator.com·12h·
Discuss: Hacker News
📋Souffle Datalog
Preview
Report Post
Scientific Computing in Rust Monthly #14
scientificcomputing.rs·17h
🏗️Cranelift
Preview
Report Post
Type-Safe Routing Without the Build Step
werkbank.dev·11h·
Discuss: Hacker News
⚙️TOML Parsers
Preview
Report Post
abelianization of an additive category in nLab
ncatlab.org·13h
🔗Category Theory
Preview
Report Post
istmarc/tenseur: C++23 Tensor, neural networks and mathematical library
github.com·11h·
Discuss: r/cpp
🦀MIR Optimization
Preview
Report Post
Alexis King’s Blog
lexi-lambda.github.io·2d
🗂️Type Indexing
Preview
Report Post
understanding LSM trees via read, write, and space amplification
bitsxpages.com·6h
🔗Memory Linearization
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help